Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel

A real-time computing system is one whose correctness depends on both the logical and the temporal properties of its computations. In this thesis, we propose a simulation tool to evaluate such systems. It may be used as a complement to safe static analysis methods, especially when the temporal behavior of the system or that of its environment is not fully characterized. We made this tool as customizable as possible, provided it with the capacity to reuse existing application code, tried to make it efficient, and allowed the simulated temporal behavior to be as close to the effective one as possible, thanks to the ability to adjust the timing resolution of the simulation. We also introduce a generic objet model for dynamic real-time scheduling, that can adapt to a wide variety of existing schedulers, and that has been assessed by the tool. We finally describe the way the system clock granularity can be taken into account in these algorithms, and evaluate its impact.